surya-narayanan
/

formal_logic

Inference Endpoints

Model card Files Files and versions Community

1 contributor

History: 2 commits

surya-narayanan's picture

surya-narayanan

Training in progress, step 1

d14ab65 verified 8 months ago