wr
hn
Top
New
Best
Ask
Show
Jobs
Back
p
phoenixrecruit
Joined 1 year ago
Karma
2
Submissions
3
Member since
May 31
View on Hacker News
Recent submissions
Comment · 8 months ago
nice work!I know about your work, similar to this:
https://arxiv.org/abs/2601.20055
and
https://github.com/DebarghaG/proofofthought
Comment · 9 months ago
how you made sure that your MCS feedback is actually used in next iteration?
Comment · 1 year ago
Great breakdown—PCFG-based uncertainty metrics seem like exactly what we need to make LLM-SMT pipelines robust and reliable!