Cited By
View all- Liu XLiu HYi XWang J(2024)LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱Proceedings of the 15th Asia-Pacific Symposium on Internetware10.1145/3671016.3674823(21-30)Online publication date: 24-Jul-2024
- Lincroft GCho MHough KBazzaz MBell JSpinellis DConstantinou EBacchelli A(2024)Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant EcosystemsProceedings of the 21st International Conference on Mining Software Repositories10.1145/3643991.3644908(1-13)Online publication date: 15-Apr-2024
- Hu JPientka B(2024)Layered Modal Type TheoryProgramming Languages and Systems10.1007/978-3-031-57262-3_3(52-82)Online publication date: 6-Apr-2024
- Show More Cited By