Learning Loop Invariants for Program Verification
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
–Neural Information Processing Systems
The problem is undecidable and even practical instances are challenging.
Neural Information Processing Systems
Nov-17-2025, 20:04:21 GMT
- Country:
- Europe > Slovenia
- Drava > Municipality of Benedikt > Benedikt (0.04)
- North America
- Canada > Quebec
- Montreal (0.04)
- United States > Pennsylvania (0.04)
- Canada > Quebec
- Europe > Slovenia
- Genre:
- Workflow (0.68)
- Technology:
- Information Technology
- Artificial Intelligence
- Cognitive Science > Problem Solving (0.93)
- Machine Learning > Neural Networks (0.96)
- Natural Language (1.00)
- Representation & Reasoning
- Logic & Formal Reasoning (0.96)
- Search (0.69)
- Software > Programming Languages (0.68)
- Software Engineering (1.00)
- Artificial Intelligence
- Information Technology