Automated Algorithm for Infinite-State Polynomial Reachability Games
Discover a new automated method to solve infinite-state polynomial reachability games, enhancing AI decision-making with sound, efficient strategies.
Safety Risks of Malicious Knowledge Editing in AI Models
Explore EditRisk-Bench, a new benchmark assessing safety risks in AI reasoning caused by malicious knowledge editing in large language models.
FormalRewardBench: Benchmark for Theorem Proving Rewards
Discover FormalRewardBench, a new benchmark to evaluate reward models in formal theorem proving, enhancing AI's proof evaluation and learning.
Evaluating AI Tools in Academic Research: Risks & Benefits
Explore the benefits and risks of AI tools in academic research, focusing on accuracy, transparency, and human-centered evaluation frameworks.
Efficient Neural Routing with Constraint-Aware State Embedding
Discover how constraint-aware state embedding boosts neural routing solver efficiency for complex vehicle routing problems and large-scale tasks.