MatBrain: Lightweight AI for Crystal Materials Research
Discover MatBrain, a dual-model AI system accelerating crystal materials research with efficient, specialized reasoning and tool coordination.
Scalable Problem Reductions for NP-Hard Optimization
Discover scalable problem reductions using harness engineering for efficient NP-hard optimization across diverse solvers and AI-driven integration.
Efficient Limited Monotonical Surrogates with Guaranteed Output
Discover LyMPuS: a low-cost, parameterless surrogate model for efficient optimization and guaranteed linkage discovery in complex problems.
PAC-BENCH: Multi-Agent Collaboration with Privacy Limits
Discover PAC-BENCH, a benchmark for evaluating multi-agent AI collaboration under privacy constraints to improve coordination and performance.
AI in Mathematics: Key Lectures and Applications
Explore AI's role in mathematics with lectures covering pattern discovery, theorem proving, and automated reasoning for research breakthroughs.