Viewing profile — chaisan

we moved our whole org off Vercel after that selfie Rauch put out. rotten company, overpriced product for what it is, sneaky practices. never looked back.

have examples?

nice. for which problem?

yess. loads of space for further exploration here. there is an attempt to keep things as general as possible in the expert.md file, but hard to mitigate overfitting fully. however,…

sure. in the limit, everything is parameter tuning. with large enough NP-hard problems, the complexity of the search space is big enough that its infeasible to get to a better stat…

wrt. token usage?

somewhat

and it would take an algo change to the solver to jump to the next local optimum

yeh. ofc. but on any problem larger than 40 variables, the gains from random restarts or initializations will quickly plateau

the sum of the weights of the unsatistied clauses. we want to reduce this number

as its from 2024 (MaxSAT was not held in 2025), its quite likely all the solvers are in the training data. so the interesting part here is the instances for which we actually got b…

its just comparing the cost of the best solution found to the best known cost we had before. O(N). why optimistic?

nice. EDA indeed one of the top applications of SAT

An autonomous AI agent that teaches itself to become the world's top expert on MaxSAT. Given weighted MaxSAT instances, it learns novel strategies, finds better solutions and itera…

reminds me of this idea of Do What I Mean (DWIM) coined in the 60s by Warren Teitelman. more relevant now than ever

the scariest safety fuse isn’t in the model. it’s the gap between chair and keyboard