IneqMath Developer Team

AI & ML interests

None defined yet.

Recent Activity

lupantech  authored a paper about 1 month ago

Solving Inequality Proofs with Large Language Models

lupantech  authored a paper about 1 month ago

Fractional Reasoning via Latent Steering Vectors Improves Inference Time Compute

lupantech  authored a paper about 1 month ago

Where LLM Agents Fail and How They can Learn From Failures

View all activity

Team members 2