counterexamples

3 papers

• On the Relation between Rectified Flows and Optimal Transport
• SpecMAS: A Multi-Agent System for Self-Verifying System Generation via Formal Model Checking
• WHAT MAKES MATH PROBLEMS HARD FOR REINFORCEMENT LEARNING: A CASE STUDY