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.
Currently for most problems LLMs can successfully generate checkers and validators, and even model solution, however workflow is currently:
I suggest that this can be integrated directly into polygon similar to AI translation.