Copertina

Proving Olympiad Algebraic Inequalities without Human Demonstrations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wei, Chenrui, Sun, Mengzhou, Wang, Wei
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence 03B35, 68T05, 68T20 I.2.3; I.2.6; I.2.8
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
di: Platzer, André
Pubblicazione: (2024)

AI Agents: Evolution, Architecture, and Real-World Applications
di: Krishnan, Naveen
Pubblicazione: (2025)

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
di: Firsching, Moritz, et al.
Pubblicazione: (2026)

STRIDE: A Self-Reflective Agent Framework for Reliable Automatic Equation Discovery
di: Su, Jiarui, et al.
Pubblicazione: (2026)

An Improved Adaptive PID Optimizer with Enhanced Convergence and Stability for Deep Learning
di: Saini, Saurabh, et al.
Pubblicazione: (2026)

Evolving machine learning workflows through interactive AutoML
di: Barbudo, Rafael, et al.
Pubblicazione: (2024)

Approaches to Semantic Textual Similarity in Slovak Language: From Algorithms to Transformers
di: Radosky, Lukas, et al.
Pubblicazione: (2026)

Adaptive Minds: Empowering Agents with LoRA-as-Tools
di: Shekar, Pavan C, et al.
Pubblicazione: (2025)

XAutoLM: Efficient Fine-Tuning of Language Models via Meta-Learning and AutoML
di: Estevanell-Valladares, Ernesto L., et al.
Pubblicazione: (2025)

Modeling and Controlling Deployment Reliability under Temporal Distribution Shift
di: Rahman, Naimur, et al.
Pubblicazione: (2026)

Statistical Guarantees for Lifelong Reinforcement Learning using PAC-Bayes Theory
di: Zhang, Zhi, et al.
Pubblicazione: (2024)

Dual-Channel Feature Fusion for Joint Prediction in Dynamic Signed Weighted Networks
di: Zhang, Gaoxin, et al.
Pubblicazione: (2026)

Connectivity-Aware Representations for Constrained Motion Planning via Multi-Scale Contrastive Learning
di: Jeon, Suhyun, et al.
Pubblicazione: (2026)

CellARC: Measuring Intelligence with Cellular Automata
di: Lžičař, Miroslav
Pubblicazione: (2025)

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1
di: Linhares, Alexandre
Pubblicazione: (2026)

Vis-CoT: A Human-in-the-Loop Framework for Interactive Visualization and Intervention in LLM Chain-of-Thought Reasoning
di: Pather, Kaviraj, et al.
Pubblicazione: (2025)

Emotion-Inspired Learning Signals (EILS): A Homeostatic Framework for Adaptive Autonomous Agents
di: Tiwari, Dhruv
Pubblicazione: (2025)

FDQN: A Flexible Deep Q-Network Framework for Game Automation
di: Gujavarthy, Prabhath Reddy
Pubblicazione: (2024)

GoldenStart: Q-Guided Priors and Entropy Control for Distilling Flow Policies
di: Zhang, He, et al.
Pubblicazione: (2026)

Diffusion-MPC in Discrete Domains: Feasibility Constraints, Horizon Effects, and Critic Alignment: Case study with Tetris
di: Wang, Haochuan Kevin
Pubblicazione: (2026)

From Imitation to Interaction: Mastering Game of Schnapsen with Shallow Reinforcement Learning
di: Klačan, Ján, et al.
Pubblicazione: (2026)

Thinking Machines: Mathematical Reasoning in the Age of LLMs
di: Asperti, Andrea, et al.
Pubblicazione: (2025)

A Comparison Between Decision Transformers and Traditional Offline Reinforcement Learning Algorithms
di: Caunhye, Ali Murtaza, et al.
Pubblicazione: (2025)

Maximizing Rollout Informativeness under a Fixed Budget: A Submodular View of Tree Search for Tool-Use Agentic Reinforcement Learning
di: Hu, Yuelin, et al.
Pubblicazione: (2026)

COBRA-PPM: A Causal Bayesian Reasoning Architecture Using Probabilistic Programming for Robot Manipulation Under Uncertainty
di: Cannizzaro, Ricardo, et al.
Pubblicazione: (2024)

SafeRL-Lite: A Lightweight, Explainable, and Constrained Reinforcement Learning Library
di: Mishra, Satyam, et al.
Pubblicazione: (2025)

Foundation Models as World Models: A Foundational Study in Text-Based GridWorlds
di: Sasso, Remo, et al.
Pubblicazione: (2025)

Exploration with Foundation Models: Capabilities, Limitations, and Hybrid Approaches
di: Sasso, Remo, et al.
Pubblicazione: (2025)

Efficient Contextual Preferential Bayesian Optimization with Historical Examples
di: Khan, Farha A., et al.
Pubblicazione: (2022)

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
di: Gulati, Aryan, et al.
Pubblicazione: (2025)

Active Causal Experimentalist (ACE): Learning Intervention Strategies via Direct Preference Optimization
di: Cooper, Patrick, et al.
Pubblicazione: (2026)

Task Memory Engine (TME): Enhancing State Awareness for Multi-Step LLM Agent Tasks
di: Ye, Ye
Pubblicazione: (2025)

Generative AI in Transportation Planning: A Survey
di: Da, Longchao, et al.
Pubblicazione: (2025)

Improving LLM Agent Planning with In-Context Learning via Atomic Fact Augmentation and Lookahead Search
di: Holt, Samuel, et al.
Pubblicazione: (2025)

When Your Own Output Becomes Your Training Data: Noise-to-Meaning Loops and a Formal RSI Trigger
di: Ando, Rintaro
Pubblicazione: (2025)

RoboMoRe: LLM-based Robot Co-design via Joint Optimization of Morphology and Reward
di: Fang, Jiawei, et al.
Pubblicazione: (2025)

STACHE: Local Black-Box Explanations for Reinforcement Learning Policies
di: Elashkin, Andrew, et al.
Pubblicazione: (2025)

Learning from Preferences and Mixed Demonstrations in General Settings
di: Brown, Jason R, et al.
Pubblicazione: (2025)

CogniLoad: A Synthetic Natural Language Reasoning Benchmark With Tunable Length, Intrinsic Difficulty, and Distractor Density
di: Kaiser, Daniel, et al.
Pubblicazione: (2025)

Memory-Augmented State Machine Prompting: A Novel LLM Agent Framework for Real-Time Strategy Games
di: Qi, Runnan, et al.
Pubblicazione: (2025)