Image de couverture de livre

Towards Autonomous Mathematics Research

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Feng, Tony, Trinh, Trieu H., Bingham, Garrett, Hwang, Dawsen, Chervonyi, Yuri, Jung, Junehyuk, Lee, Joonkyung, Pagano, Carlo, Kim, Sang-hyun, Pasqualotto, Federico, Gukov, Sergei, Lee, Jonathan N., Kim, Junsu, Hou, Kaiying, Ghiasi, Golnaz, Tay, Yi, Li, YaGuang, Kuang, Chenkai, Liu, Yuan, Lin, Hanzhao, Liu, Evan Zheran, Nayakanti, Nigamaa, Yang, Xiaomeng, Cheng, Heng-Tze, Hassabis, Demis, Kavukcuoglu, Koray, Le, Quoc V., Luong, Thang
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning Artificial Intelligence Computation and Language Computers and Society
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Robust Mathematical Reasoning
par: Luong, Thang, et autres
Publié: (2025)

Aletheia tackles FirstProof autonomously
par: Feng, Tony, et autres
Publié: (2026)

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
par: Feng, Tony, et autres
Publié: (2026)

Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
par: Chervonyi, Yuri, et autres
Publié: (2025)

HaloQuest: A Visual Hallucination Dataset for Advancing Multimodal Reasoning
par: Wang, Zhecan, et autres
Publié: (2024)

Linnik problem for Maass--Hecke cuspforms and effective multiplicity one theorem
par: Jung, Junehyuk, et autres
Publié: (2025)

Domination inequalities and dominating graphs
par: Conlon, David, et autres
Publié: (2023)

Lower bounds for multivariate independence polynomials and their generalisations
par: Lee, Joonkyung, et autres
Publié: (2026)

Majority dynamics on sparse random graphs
par: Chakraborti, Debsoumya, et autres
Publié: (2021)

Escaping Local Minima: Hybrid Artificial Potential Field with Wall-Follower for Decentralized Multi-Robot Navigation
par: Kim, Joonkyung, et autres
Publié: (2024)

Safe Interval RRT* for Scalable Multi-Robot Path Planning in Continuous Space
par: Sim, Joonyeol, et autres
Publié: (2024)

Gaussian Mixture-Based Inverse Perception Contract for Uncertainty-Aware Robot Navigation
par: Du, Bingyao, et autres
Publié: (2026)

Around the positive graph conjecture
par: Conlon, David, et autres
Publié: (2024)

Counting homomorphisms in antiferromagnetic graphs via Lorentzian polynomials
par: Lee, Joonkyung, et autres
Publié: (2025)

Chi-boundedness of graphs containing no cycles with $k$ chords
par: Lee, Joonkyung, et autres
Publié: (2022)

Extremal numbers and Sidorenko's conjecture
par: Conlon, David, et autres
Publié: (2023)

On the extremal number of incidence graphs
par: Baek, Jisun, et autres
Publié: (2024)

Smoothing countable group actions on metrizable spaces
par: Choi, Inhyeok, et autres
Publié: (2024)

Theoretical Steps to Optimize Transportation in the Cubic Networks and the Congestion Paradox
par: Yoo, Joonkyung
Publié: (2024)

Effects of Organizational Cynicism and Socialization on Nurses’ Job Burnout: A Career‐Stage‐Based Analysis
par: Hee Jin Kim, et autres
Publié: (2025)

P‐54: XAI Models for Efficient Analysis of Temperature and Power Consumption in High‐Brightness Panels and Modules
par: Kyongtea Park, et autres
Publié: (2024)

$2$-nodal domain theorems for higher dimensional circle bundles
par: Jung, Junehyuk, et autres
Publié: (2022)

Revisiting Reliability in the Reasoning-based Pose Estimation Benchmark
par: Kim, Junsu, et autres
Publié: (2025)

ScrewSplat: An End-to-End Method for Articulated Object Recognition
par: Kim, Seungyeon, et autres
Publié: (2025)

LoRA Training Provably Converges to a Low-Rank Global Minimum or It Fails Loudly (But it Probably Won't Fail)
par: Kim, Junsu, et autres
Publié: (2025)

ADAPTAÇÕES DE PRODUTO NO PROCESSO DE INTERNACIONALIZAÇÃO DE EMPRESAS GAÚCHAS DO SETOR MOVELEIRO
par: Carina Pasqualotto
Publié: (2010)

VPOcc: Exploiting Vanishing Point for 3D Semantic Occupancy Prediction
par: Kim, Junsu, et autres
Publié: (2024)

Adversarial Reinforcement Learning Framework for ESP Cheater Simulation
par: Park, Inkyu, et autres
Publié: (2025)

Merry-Go-Round: Safe Control of Decentralized Multi-Robot Systems with Deadlock Prevention
par: Lee, Wonjong, et autres
Publié: (2025)

Waste plastic upcycling via homogeneous catalytic hydrogenation/dehydrogenation/transfer hydrogenation
par: Mi‐hyun Lee, et autres
Publié: (2025)

Hierarchical Climate Control Strategy for Electric Vehicles with Door-Opening Consideration
par: Nam, Sanghyeon, et autres
Publié: (2024)

Scale Versus Technology—M&A Effects by Firm Size and Ex‐Post M&A Time Horizon in Korea
par: Sinwoo Lee, et autres
Publié: (2026)

Test-Time Adaptation with Binary Feedback
par: Lee, Taeckyung, et autres
Publié: (2025)

Computer‐Based Neural Network‐Enhanced Security Optimization Model for 5G Wireless Communication Networks
par: Hanzhao Wang
Publié: (2026)

CARE: Enhancing Safety of Visual Navigation through Collision Avoidance via Repulsive Estimation
par: Kim, Joonkyung, et autres
Publié: (2025)

Can Synthetic Images Conquer Forgetting? Beyond Unexplored Doubts in Few-Shot Class-Incremental Learning
par: Kim, Junsu, et autres
Publié: (2025)

Unsupervised-to-Online Reinforcement Learning
par: Kim, Junsu, et autres
Publié: (2024)

Capability-Aware Heterogeneous Control Barrier Functions for Decentralized Multi-Robot Safe Navigation
par: Kim, Joonkyung, et autres
Publié: (2026)

Combined Machine Learning and Experimental Study for the Zintl Phase Thermoelectric Ba 1− x Sr x Zn 2− y Cd y Sb 2 System
par: Junsu Lee, et autres
Publié: (2025)

Quality over Quantity: Demonstration Curation via Influence Functions for Data-Centric Robot Learning
par: Lee, Haeone, et autres
Publié: (2026)