Currently for most problems LLMs can successfully generate checkers and validators, and even model solution, however workflow is currently:
- create pdf with statements
- paste it to LLM, ask to write checker/validator/model solution
- paste code back to polygon
I suggest that this can be integrated directly into polygon similar to AI translation.