Popular GitHub Repositories for Arithmetic

micronet, a model compression and deploy lib. compression: 1、quantization: quantization-aware-training(QAT), High-Bit(>2b)(DoReFa/Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference)、Low-Bit(≤2b)/Ternary and Binary(TWN/BNN/XNOR-Net); post-training-quantization(PTQ), 8-bit(tensorrt); 2、 pruning: normal、regular and group convolutional channel pruning; 3、 group convolution structure; 4、batch-normalization fuse for quantization. deploy: tensorrt, fp32/fp16/int8(ptq-calibration)、op-adapt(upsample)、dynamic_shape

[ACL 2023] Reasoning with Language Model Prompting: A Survey

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.

We introduce new zero-shot prompting magic words that improves the reasoning ability of language models: panel discussion!

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

Restore safety in fine-tuned language models through task arithmetic

Sys2Bench is a benchmarking suite designed to evaluate reasoning and planning capabilities of large language models across algorithmic, logical, arithmetic, and common-sense reasoning tasks.

A Simple Project To Use LangChain, LangGraph & LangSmith for GenAI's Arithmetic Usecases

This repository demonstrates how to use AutoGen to integrate local and remote MCP (Model Context Protocol) servers. It showcases a local math tool (math_server.py) using Stdio and a remote Apify tool (RAG Web Browser Actor) via SSE for tasks like arithmetic and web browsing.

这个库用C语言实现了一个类似于std::vector的动态数组数据结构，允许创建、修改和操作一个数组，其大小可以在运行时动态调整。

Official repository of our work "Efficient Model Editing with Task-Localized Sparse Fine-tuning" accepted at ICLR 2025

Fine-tuning Llama3 8b to generate JSON formats for arithmetic questions and process the output to perform calculations.

ComfyUI nodes for granular control over WanVideo generation through transformer block injection and vector arithmetic operations.

Official repository of "Task Vector Quantization for Memory-Efficient Model Merging" [ICCV 2025]

Kistmat-AI is an advanced machine learning model designed to solve a wide range of mathematical problems, from elementary arithmetic to university-level calculus. This project demonstrates the application of curriculum learning in AI, allowing the model to progressively tackle more complex mathematical concepts.

A deployment of a 'RASA' bot that performs basic arithmetic operations in WhatsApp. The objective of the bot is to get inputs from the user interactively and generates output in chat. Using twilio.com, the bot is deployed with WhatsApp as a business account.

CC-1 is an LLM-powered word arithmetic calculator designed to explore AI UX beyond chatbots.

This project uses chatglm6b to implement a Chinese version of arithmetic and reasoning function, aiming to explore the arithmetic and reasoning ability of llm agent.

Element-wise multiplication of two strided arrays.