SafeWork-V1: Towards Formally Verifiable AI
Code: https://github.com/Veri-Code/ReForm Models & Data: https://huggingface.co/Veri-Code Background Autoformalization (converting natural language content into verifiable formalization) is considered a promising way of learning general purpose reasoning. In sharp contrast, existing natural language-based LLMs lack reliable verification. Formal verifiers are not only important for increasing the resiliency of humanity, but also vital for steering artificial intelligence (AI) development into a direction of maximally “math-seeking,” which could be, hopefully, more human-friendly and realistic. ...