Quotient's picture

Quotient

AI-Quotient

·

https://in.linkedin.com/company/ai-quotient

AI & ML interests

None yet

Recent Activity

updated a Space 5 days ago

AI-Quotient/theorem-proving-agent

published a Space 6 days ago

AI-Quotient/theorem-proving-agent

View all activity

Organizations

spaces 1

Theorem Proving Agent

This is an Agent fine-tuned to prove or disprove theorems.

models

None public yet

datasets

None public yet