What were the alternative solutions you discussed? Did a worse one get picked? D...

		fmbb on March 5, 2025 \| parent \| context \| favorite \| on: Translating natural language to first-order logic ... What were the alternative solutions you discussed? Did a worse one get picked? Did you already have a solution in place, and you were actually suggesting a change?