Cited By
View all- Gou QDong YKe Q(2024)SynthoMinds: Bridging human programming intuition with retrieval, analogy, and reasoning in program synthesisJournal of Systems and Software10.1016/j.jss.2024.112140216(112140)Online publication date: Oct-2024
- Tsiskaridze NBarrett CTinelli C(2024)Generalized Optimization Modulo TheoriesAutomated Reasoning10.1007/978-3-031-63498-7_27(458-479)Online publication date: 1-Jul-2024
- Ghiorzi EColledanchise MPiquet GBernagozzi STacchella ANatale L(2023)Learning Linear Temporal Properties for Autonomous Robotic SystemsIEEE Robotics and Automation Letters10.1109/LRA.2023.32633688:5(2930-2937)Online publication date: May-2023
- Show More Cited By