ICLR 2026 - official implementation for "MathNet: a Global Multimodal Benchmark for Mathematical Reasoning and Retrieval"
☆122Apr 21, 2026Updated 6 months ago
Alternatives and similar repositories for MathNet
Users that are interested in MathNet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆34Aug 10, 2026Updated 2 months ago
- Static human-facing explorer for the Palomar database☆15Updated this week
- [EMNLP 2024 Findings] ProSA: Assessing and Understanding the Prompt Sensitivity of LLMs☆30May 22, 2025Updated last year
- ☆13Sep 12, 2026Updated last month
- ☆21Aug 1, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [CVPR 2025] VISCO: Benchmarking Fine-Grained Critique and Correction Towards Self-Improvement in Visual Reasoning☆13Jun 7, 2025Updated last year
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years ago
- The Newton-Muon optimizer☆35Jun 5, 2026Updated 4 months ago
- ☆27Apr 16, 2026Updated 6 months ago
- Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably …☆15Apr 23, 2026Updated 6 months ago
- Verified probability, statistics, and learning theory in Lean 4☆30Updated this week
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- Evaluation of LLMs on latest math competitions☆294Oct 16, 2026Updated 2 weeks ago
- ☆10Mar 10, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 2nd Place Solution for the Google Research - Identify Contrails to Reduce Global Warming Competition☆14Aug 15, 2023Updated 3 years ago
- [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset☆118May 22, 2025Updated last year
- Comparative study and experimentation on standard vs mHC vs attention residual (full and block)☆13Mar 17, 2026Updated 7 months ago
- Toward Expert-Level Medical Text Validation with Language Models☆20Oct 23, 2025Updated last year
- ☆64Jul 17, 2026Updated 3 months ago
- Mini-ARC implementation and experiments☆11Nov 13, 2024Updated last year
- R client utilities for interacting with the neuPrint connectome analysis service☆17Jun 2, 2026Updated 4 months ago
- This Keras code is for the paper A. Jamali, Ali and Roy, Swalpa Kumar and Hong, Danfeng and Atkinson, Peter M and Ghamisi, Pedram, "[Spat…☆11Jan 22, 2024Updated 2 years ago
- M5Stack Paper Color user demo for hardware evaluation.☆17Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A research-oriented training and evaluation framework for ECG-Language Models (ELMs)☆20Sep 8, 2026Updated last month
- ☆11Jul 17, 2023Updated 3 years ago
- Assessing Context-Aware Creative Intelligence in MLLMs☆23Jul 22, 2025Updated last year
- A website that implements 4 crowd counting algorithms and helps you to predict number of people in images, videos, and in your camera.☆15Jul 15, 2023Updated 3 years ago
- The official repository of the Omni-MATH benchmark.☆92Dec 22, 2024Updated last year
- Interactive 3D model of NVIDIA Vera Rubin hardware (superchip, NVL72 compute tray, HGX NVL8) with connection tracing and a guided tour☆16Oct 1, 2026Updated 3 weeks ago
- [COLM-LLA 2026] The official implementation for paper "AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficien…☆23Aug 23, 2026Updated 2 months ago
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Oct 11, 2026Updated 2 weeks ago
- ☆11Dec 12, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14Mar 18, 2025Updated last year
- T2NER: Transformers based Transfer Learning Framework for Named Entity Recognition (EACL 2021)☆11Sep 24, 2022Updated 4 years ago
- An Arduino library for interfacing to Nixdorf BA63 VFD customer displays☆11Feb 12, 2026Updated 8 months ago
- ☆18May 16, 2026Updated 5 months ago
- [ICML25] M3HF: Multi-agent Reinforcement Learning from Multi-phase Human Feedback of Mixed Quality☆13Nov 24, 2025Updated 11 months ago
- Dependency Parsing as Sequence Labeling with BERT☆13Nov 1, 2020Updated 5 years ago
- Multi-Agent (Crafter + NetHack) in JAX☆18Aug 31, 2025Updated last year