Mate Soos
Mate Soos
@kuldeepmeel Can you please help out? I don't have the time to keep in mind to check up on code all the time for people who fail to respond for...
Clearly you are not interested in any of this -- this is just a paper mill for you. You don't seem to care about the users, as you fail to...
@kuldeepmeel fix this up please. Thanks!
Hi, Is there any progress on this? Thanks, Mate
Hi! Nice work! I think you'll need to adjust it to parse the output. Maybe you can write to Anna or maybe you can do it yourself? I use my...
Can you please try again to fuzz this? I really wanna merge, but you used fibonacci again, and it's EXTREMELY prone to bugs, and hardly anyone understands it. @kuldeepmeel claimed...
Fixing the parser of SharpVelvet is probably not too hard? Can you please have another go at this? Thanks!
OK, I'll do this. It's absolutely trivial to do, just see [email protected]:meelgroup/count_fuzzer.git and run that. An AI agent will make this work in under 10 minutes. No idea why 2...
> Towards Real-Time Approximate Counting > Yash Pote ⓡ Kuldeep S. Meel ⓡ Jiong Yang > Annual AAAI Conference on Artificial Intelligence (AAAI 2025) > ⓡ random order Glad you...
Aaaaand I was right in asking for fuzz testing. Took less than 10 minutes, as promised: [bug.cnf.gz](https://github.com/user-attachments/files/23780465/bug.cnf.gz) ``` --> Executing: ../approxmc/build/approxmc --epsilon 6 --delta 0.2 -s 42 /home/soos/development/sat_solvers/count_fuzzer/out/fuzzTest_970.cnf in dir...