rel-prover

AI & ML interests

None defined yet.

Recent Activity

yinyahuang  updated a dataset about 2 hours ago

rel-prover/premises_worsn_32pos_vin4ou4_goedel

yinyahuang  updated a dataset about 2 hours ago

rel-prover/reasoning_plain_32pos_vin4ou4_goedel

yinyahuang  published a dataset about 2 hours ago

rel-prover/reasoning_plain_32pos_vin4ou4_goedel

View all activity

Team members 2