The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
☆34Mar 9, 2025Updated 11 months ago
Alternatives and similar repositories for dtv
Users that are interested in dtv are comparing it to the libraries listed below
Sorting:
- Fiddling with Lindenmayer systems☆15Mar 24, 2023Updated 2 years ago
- ☆16Oct 27, 2024Updated last year
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆35Oct 23, 2024Updated last year
- POLAR official tool☆20Feb 13, 2026Updated 2 weeks ago
- Code for experiments on transformers using Markovian data.☆22Nov 22, 2024Updated last year
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆37Feb 11, 2026Updated 3 weeks ago
- Code for the "Cultural evolution in populations of Large Language Models" paper☆34Oct 31, 2024Updated last year
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- This project aims at designing an easy self-made ultrasound imaging device. It mainly consists of "Phased-array transducer", "Pulse-contr…☆14Jun 28, 2023Updated 2 years ago
- ☆35Jan 10, 2025Updated last year
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆52Feb 24, 2026Updated last week
- Copenhagen brain entropy toolbox - a set of matlab tools to compute entropy measures in neuroimaging data☆10Updated this week
- The computational platform u-signal3D defines a shape-invariant representation of the spatial scales of molecular organization at the cel…☆11Jan 22, 2026Updated last month
- e☆43Apr 23, 2025Updated 10 months ago
- Build-A-Cell protocol for making liposomes☆13Jan 30, 2024Updated 2 years ago
- Neural Signal Analysis☆14Jan 5, 2026Updated 2 months ago
- Feature extraction and prediction of human neural signals, using chaos theory, dynamical systems theory, various physics/maths theories, …☆37Aug 15, 2024Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- Detect Spammer in twitter by Classification methods☆10Jan 20, 2017Updated 9 years ago
- ☆11Oct 24, 2022Updated 3 years ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- [NeurIPS 2025] Official code for "Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms"☆23Oct 23, 2025Updated 4 months ago
- Optical flow library, based on NumPy arrays☆11Nov 30, 2021Updated 4 years ago
- The notebooks in this repository are recipes for energy and climate modelers. They require open source software and they can run locally …☆19Feb 17, 2026Updated 2 weeks ago
- Official code for AL-PINNS: Augmented Lagrangian relaxation method for Physics-Informed Neural Networks☆12Jul 29, 2023Updated 2 years ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- (version 2018) Toolbox for estimation and interpretation of whole-brain linear effective connectivity☆10Nov 8, 2019Updated 6 years ago
- ☆24Feb 18, 2026Updated 2 weeks ago
- Python versions of all typeset code blocks from the book, Algorithms for Optimization.☆16Mar 20, 2024Updated last year
- An open source tool for large-scale EEG datasets processing☆53Feb 25, 2026Updated last week
- ☆11Nov 2, 2023Updated 2 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 4 months ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆10Jan 24, 2021Updated 5 years ago
- ☆15Sep 7, 2025Updated 5 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- A friendly, hands-on introductory course☆22Dec 4, 2025Updated 3 months ago
- Direct transcription of an optimal control problem and resolution☆12Updated this week