surya-narayanan
/

formal_logic

Inference Endpoints

Model card Files Files and versions Community

Commit History

Training in progress, step 1

d14ab65
verified

surya-narayanan commited on Mar 11

initial commit

c4a61fc
verified

surya-narayanan commited on Mar 11