metareflection

university

https://metareflection.club/

Activity Feed Request to join this org

AI & ML interests

Formal Verification

Recent Activity

cassanof authored a paper 7 days ago

PhD Knowledge Not Required: A Reasoning Challenge for Large Language Models

cassanof updated a dataset 10 months ago

metareflection/dafny-docs-chunked

cassanof authored a paper 12 months ago

StarCoder 2 and The Stack v2: The Next Generation

View all activity

models 1

metareflection/tiny-scheme-holes-gpt2

Updated Jan 4, 2024

datasets 6

metareflection/dafny-docs-chunked

Viewer • Updated Apr 16, 2024 • 497 • 35 • 1

metareflection/tiny-scheme-holes-train

Viewer • Updated Jan 4, 2024 • 1.66k • 39

metareflection/tiny-scheme-train

Viewer • Updated Jan 4, 2024 • 74 • 39

metareflection/dafny_with_hints

Viewer • Updated Dec 8, 2023 • 343 • 11

metareflection/dafny-docs

Viewer • Updated Dec 5, 2023 • 486 • 38

metareflection/dafny-train

Viewer • Updated Dec 5, 2023 • 5.62k • 37 • 1