hnhn34

5 ms·

31.
Gold-Medalist Performance in Solving Olympiad Geometry with AlphaGeometry2(arxiv.org)
64 points by hnhn34 2y ago|5 comments
32.
by hnhn34 2y ago
Seriously, we're seeing tech with so many jaw-dropping capabilities and so much potential that it's scary. I'm surprised that even today most HNers and redditors keep seeing it as a grift and compare it to web3/blockchai
33.
Understanding the Limitations of Mathematical Reasoning in LLMs(arxiv.org)
282 points by hnhn34 2y ago|266 comments
34.
by hnhn34 2y ago
How do they get away with it? Most companies I’ve applied to run background checks and ask for references. The last one I was at refused to send an offer letter until my previous employer answered their calls.
35.
by hnhn34 2y ago
Would you recommend the solopreneur path for someone like me? I’m a soon to be new grad with a year of experience and no luck getting another entry level job so far. It doesn’t help that I don’t have a drivers license or car, and just recov
36.
by hnhn34 2y ago
Image gen is streets ahead of music in terms of control, as long as you stick to the FOSS stuff as DALL-E is too limited. I’m only an observer for now and haven’t actually used it much, but both StableDiffusion and SDXL have ControlNet and
37.
Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing(arxiv.org)
2 points by hnhn34 2y ago|0 comments
38.
by hnhn34 3y ago
Would it be a dumb idea to use Fizzbee (or any formal methods language) for non-trivial programs in general, not just distributed systems? I wonder if it would be useful for specifying bevahiors in, say, game development for example
39.
by hnhn34 3y ago
Sorry if this is a stupid question but even after reading OP’s post, I’m having trouble understanding the limitations of this. What would happen if, for example, the system were trained on simple 3D puzzle games, with natural language instr