Running
NEXS
📊
Space for NEXS research group at Georgia Tech
None defined yet.
TextReg: Mitigating Prompt Distributional Overfitting via Regularized Text-Space Optimization
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness