Popular GitHub Repositories for Interval 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.

A package for statistically rigorous scientific discovery using machine learning. Implements prediction-powered inference.

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.

[NeurIPS 2021] Fast Certified Robust Training with Short Warmup

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.

Finite-Interval Forecasting Engine: Machine learning models for discrete-time survival analysis and multivariate time series forecasting

Weighted Shapley Values and Weighted Confidence Intervals for Multiple Machine Learning Models and Stacked Ensembles

Detecting Failure Modes in Image Reconstructions with Interval Neural Network Uncertainty

Sven Gowal et al., Scalable Verified Training for Provably Robust Image Classification, ICCV 2019

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

How to define a prediction interval

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.

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