3 ms·
So... is this a dataset fishing operation essentially? You want to train or collect samples for better Lean proofs?
by rirze 4mo ago
So... is this a dataset fishing operation essentially? You want to train or collect samples for better Lean proofs?
- chews 4mo agoIn a world where llms read everything… every human contribution is a fishing expedition. At least here humans are trying to push a very hard frontier that llms arent good at yet.