Volume: Vol-4071 NMR 2025 | Year: 2025

Paper: « paper11 | paper12 | paper13 »

Autoformalisation Answer Set Programs for Scheduling Problems using Few-Shot Learning and Chain-of-Thought

• Jesse Heyninck
• Bart Van Gool
• Stefano Bromuri
• Tjitze Rienstra

157-168 PDF