rel-prover

rel-prover's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

yinyahuang 

updated a dataset 12 minutes ago

rel-prover/sft_premises_info_numina

Viewer • Updated 12 minutes ago • 12k

yinyahuang 

updated 2 datasets about 2 hours ago

rel-prover/premises_worsn_32pos_vin4ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

rel-prover/reasoning_plain_32pos_vin4ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

yinyahuang 

published 2 datasets about 2 hours ago

rel-prover/reasoning_plain_32pos_vin4ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

rel-prover/premises_worsn_32pos_vin4ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

yinyahuang 

updated a dataset about 2 hours ago

rel-prover/reasoning_plain_allpos_vin4ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

yinyahuang 

published a dataset about 2 hours ago

rel-prover/reasoning_plain_allpos_vin4ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

yinyahuang 

updated 2 datasets about 2 hours ago

rel-prover/premises_worsn_32pos_vin3ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

rel-prover/reasoning_plain_32pos_vin3ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

yinyahuang 

published 2 datasets about 2 hours ago

rel-prover/reasoning_plain_32pos_vin3ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

rel-prover/premises_worsn_32pos_vin3ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

yinyahuang 

updated a dataset about 2 hours ago

rel-prover/reasoning_plain_allpos_vin3ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

yinyahuang 

published a dataset about 2 hours ago

rel-prover/reasoning_plain_allpos_vin3ou4_goedel

Viewer • Updated about 2 hours ago • 18.8k

yinyahuang 

updated a dataset about 5 hours ago

rel-prover/sft_premises_info_goedel

Viewer • Updated about 5 hours ago • 18.8k

yinyahuang 

published 2 datasets about 5 hours ago

rel-prover/sft_premises_info_goedel

Viewer • Updated about 5 hours ago • 18.8k

rel-prover/sft_premises_info_numina

Viewer • Updated 12 minutes ago • 12k

yinyahuang 

authored 4 papers 7 months ago

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

Paper • 2406.14408 • Published Jun 20, 2024

Process-Driven Autoformalization in Lean 4

Paper • 2406.01940 • Published Jun 4, 2024

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Paper • 2407.09887 • Published Jul 13, 2024

AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations

Paper • 2311.13538 • Published Nov 22, 2023