chaoxu

10 ms·

1.
by chaoxu 10d ago
I've applied as a team, hope I get in. Recently I care about how to create harness for mathematics that uses up the complete reasoning ability of the model. I care about both capability and cost. Most generic harness we have now are no
2.
AI Agents for the Working Mathematician(chaoxu.prof)
5 points by chaoxu 2mo ago|0 comments
3.
AxiomProver at IMO 2026 (perfect score)(github.com)
1 points by chaoxu 2mo ago|0 comments
4.
by chaoxu 2mo ago
I care. I was a math student in my undergrad when I try to solve a particular problem on paths, in the end it uses a path version of cycle double cover conjecture (which was solved in the 90s). https://chaoxu.prof/posts&#x2F
5.
by chaoxu 2mo ago
okey just did some investigation. ~/.config/herdr/herdr.sock JSON-RPC API so we can avoid herdr UI. In fact herdr's TUI is using it too. So basically you can write your own tool to make it work (vibe it with AI if you w
6.
by chaoxu 2mo ago
Something like this would be great. It seems what one really need is just persistent terminal session. So this thing probably can be built on top of zmc with a few scripts.
7.
by chaoxu 2mo ago
Herdr did a lot of things really well. It have a great landing page where you can see and interact , and that really made me try it, and a few of my friend was also captured and immediately understood what it is for. I basically do everyt
8.
by chaoxu 2mo ago
You say hard rules can cause A beats B, B beats C, and C beats A. Is it because hard rules itself can have cycles, or because hard rule and scores together causing cycles? What does tie-breaker even mean here, how does it change the orderin
9.
by chaoxu 2mo ago
I've always wondered if pandoc can be made reactive. Say markdown to Pandoc AST. If one changes something, a quick update to the AST would happen incrementally. Now with all these llm I might actually see if it can be done.
10.
by chaoxu 3mo ago
On the webpage's demo, it has a really slick looking UI. How do we have that?
11.
First Proof Second Batch [pdf](1stproof.org)
2 points by chaoxu 3mo ago|0 comments
12.
by chaoxu 3mo ago
Feels like one can just copy the UI and use it for forgejo. It would get something similar very quickly, and avoid handling all the difficult stuff I guess.
13.
by chaoxu 3mo ago
I'm a researcher working in theoretical computer science. Chatgpt found a counterexample of some conjecture I've been trying for 2 years. Also, it one shot many problems I've worked on. It also improved some of my work greatl
14.
by chaoxu 4mo ago
This is monotone min-plus, so you can do it with even better running time than what you listed (which is just min-plus). Also, if all numbers are at most k, you can even get running time related to k too, replacing n with k is obviously pos
15.
by chaoxu 4mo ago
My version of a WYSIWYG built on top of CM6. https://github.com/chaoxu/coflat Mine also have lot of bugs (especially reader and editor doesn't completely match yet). repro the issue: click random places and add ra
16.
by chaoxu 4mo ago
I'm testing it and seems to be very broken , typing things around and things jumps everywhere. I was trying to create something like this too, because I need something that also work for mathematical writing. Let me push a version on
17.
by chaoxu 4mo ago
I’m really interested in AI4MATH, as I believe it will eventually replace me. I'm working on a mathematical knowledge base software. It's kinda like a local Github for math. In fact the backend is actually a Forgejo instance, I&#x
18.
Ace Technical Preview: GitHub Next's Agentic Workspace – Maggie Appleton [video](youtube.com)
3 points by chaoxu 5mo ago|0 comments
19.
by chaoxu 6mo ago
I can’t read it at all on mobile because I can’t scroll down. Is there a summarization?
20.
by chaoxu 2y ago
> Because frankly nobody gives a sh about throwing resources and finding just better (not globally optimal) solutions to synthetic benchmarks. This does not align with my experience of people working in OR.
21.
by chaoxu 2y ago
A heuristic using problem specific structure can beat Gurobi which is for solving general mip.
22.
Ask HN: Bank Transactions to CSV
2 points by chaoxu 3y ago|0 comments
23.
by chaoxu 4y ago
Just tried it. Does it support theorem environments?
24.
by chaoxu 4y ago
Many LaTeX tricks only get passed down from advisors to students, or from collaborators to collaborators. Rarely someone would look for how to improve their typesetting when all they want is to quickly communicate content. It be nice if con
25.
by chaoxu 4y ago
How is Quarto? It uses Pandoc Markdown.
26.
by chaoxu 4y ago
Have you tried Quarto? It should tick everything in your box (except MathML, but hey that might work too since Quarto is built on pandoc)
27.
by chaoxu 4y ago
What if we only tax luxury goods?
28.
by chaoxu 4y ago
It looks really nice! I’ve sent this to a few friends to check it out. To give some context, I'm a professor in theoretical computer science, so I write a lot of LaTeX documents and notes. Some observations of my work flow. - Writi
29.
Typst: Compose Papers Faster(typst.app)
4 points by chaoxu 4y ago|1 comments
30.
by chaoxu 4y ago
I understand this is useful for people who doesn't type math regularly, but as someone who write a huge amount of math, `$...$` is so much less friction than the LaTeX one `$...$`. Even in LaTeX, mix and match. `$...$` for normal mod

More ›