Towards Language Model Guided TLA+ Proof Automation

4 points | by pron 21 hours ago

No comments yet