Sean Welleck

wellecks's activity

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

updated a collection about 2 months ago

L1

Collection

L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning • 2 items • Updated Mar 7 • 5

authored a paper 5 months ago

Evaluating Language Models as Synthetic Data Generators

Paper • 2412.03679 • Published Dec 4, 2024 • 49

updated a model 8 months ago

l3lab/ntpctx-llama3-8b

Text Generation • Updated Aug 30, 2024 • 14 • 3

updated a collection 11 months ago

miniCTX

Collection

miniCTX: Neural Theorem Proving with (Long-)Contexts (ICLR 2025 Oral) • 8 items • Updated Mar 19

updated a collection 12 months ago

miniCTX

Collection

miniCTX: Neural Theorem Proving with (Long-)Contexts (ICLR 2025 Oral) • 8 items • Updated Mar 19

authored a paper about 1 year ago

Prometheus 2: An Open Source Language Model Specialized in Evaluating Other Language Models

Paper • 2405.01535 • Published May 2, 2024 • 123

updated a model over 1 year ago

wellecks/llmstep-mathlib4-pythia2.8b

Text Generation • Updated Aug 9, 2023 • 58 • 6

New activity in wellecks/minif2f_isabelle almost 2 years ago

Dataset Viewer issue

2

#1 opened almost 2 years ago by

wellecks