AlphaDiana: A System for Evaluating Agentic Reasoning
☆23Aug 12, 2026Updated 2 months ago
Alternatives and similar repositories for AlphaDiana
Users that are interested in AlphaDiana are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [arXiv:2510.06261] "AlphaApollo: A System for Deep Agentic Reasoning"☆53Aug 21, 2026Updated 2 months ago
- [NeurIPS 2024] "Can Language Models Perform Robust Reasoning in Chain-of-thought Prompting with Noisy Rationales?"☆43Jul 18, 2025Updated last year
- [ICLR 2026] "Landscape of Thoughts: Visualizing the Reasoning Process of Large Language Models"☆65May 21, 2026Updated 5 months ago
- [ICML 2023] "On Strengthening and Defending Graph Reconstruction Attack with Markov Chain Approximation"☆35Nov 10, 2023Updated 2 years ago
- [ICML 2024] "Envisioning Outlier Exposure by Large Language Models for Out-of-Distribution Detection"☆15Feb 15, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- [ICLR 2025] "Noisy Test-Time Adaptation in Vision-Language Models"☆16Feb 22, 2025Updated last year
- source code for NeurIPS21 paper robabilistic Margins for Instance Reweighting in Adversarial Training☆11Apr 28, 2022Updated 4 years ago
- translation of VHL repo in paddle☆25Jun 28, 2023Updated 3 years ago
- [ICLR 2025] "Rethinking LLM Unlearning Objectives: A Gradient Perspective and Go Beyond"☆18Feb 27, 2025Updated last year
- [ICML 2025] "From Passive to Active Reasoning: Can Large Language Models Ask the Right Questions under Incomplete Information?"☆48Oct 8, 2025Updated last year
- [ICLR2026] "Co-rewarding: Stable Self-supervised RL for Eliciting Reasoning in Large Language Models"☆30Feb 4, 2026Updated 8 months ago
- [NeurIPS 2024] "Mind the Gap between Prototypes and Images in Cross-domain Finetuning"☆11Nov 15, 2024Updated last year
- [NeurIPS 2023] Combating Bilateral Edge Noise for Robust Link Prediction☆13Nov 3, 2023Updated 2 years ago
- ☆26Mar 17, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆41Apr 18, 2026Updated 6 months ago
- ICML'20: SIGUA: Forgetting May Make Learning with Noisy Labels More Robust☆17Dec 14, 2020Updated 5 years ago
- [arXiv:2311.03191] "DeepInception: Hypnotize Large Language Model to Be Jailbreaker"☆180Feb 20, 2024Updated 2 years ago
- Code to reproduce the experiments of the ICLR24-paper: "Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging"☆12Oct 14, 2025Updated last year
- Audit any agent decision across its past, present, and future, on one typed graph.☆28Sep 8, 2026Updated last month
- Efficient Nonconvex Regularized Tensor Completion with Structure-aware Proximal Iterations. ICML-2019.☆16Apr 23, 2019Updated 7 years ago
- A game like HayDay written in CPP using Qt5 GUI framework☆20Jul 17, 2022Updated 4 years ago
- [ICLR 2023] "Combating Exacerbated Heterogeneity for Robust Models in Federated Learning"☆31Dec 28, 2025Updated 9 months ago
- A curated list of resources for graph prompting methods☆30Jan 23, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Jul 29, 2023Updated 3 years ago
- Ἀνατομή is a PyTorch library to analyze representation of neural networks☆13Jan 31, 2024Updated 2 years ago
- PG2Net: Personalized and Group PreferenceGuided Network for Next Place Prediction☆10Dec 20, 2022Updated 3 years ago
- Exploiting Class Activation Value for Partial-Label Learning, ICLR 2022 (poster)☆15Apr 18, 2022Updated 4 years ago
- finding new ramsey bounds through scaling autoresearch☆49May 13, 2026Updated 5 months ago
- ☆13Jul 22, 2026Updated 3 months ago
- A practical framework for AI-Assisted Research in Mathematics and Machine Learning☆99Jun 12, 2026Updated 4 months ago
- The official starter-kit for NeurIPS 2025 mind games competition☆21May 5, 2026Updated 5 months ago
- Solving Inequality Proofs with Large Language Models.☆61Dec 15, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17May 13, 2026Updated 5 months ago
- [ACL 2026 SAC Highlight Award] Can We Predict Before Executing Machine Learning Agents?☆24Jul 7, 2026Updated 3 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- Maps: Python's missing mappings☆13Nov 29, 2017Updated 8 years ago
- ☆24Nov 26, 2025Updated 10 months ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Sep 12, 2017Updated 9 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago