MiniZinc(minizinc.org)
222 points by gavi | 65 comments
222 points by gavi | 65 comments
376 points by majc2 | 86 comments
Blog post evaluating finetuned Mistral, Llama3 and Solar LLMs against OpenAI's GPT-4 on accuracy for structured data extraction from press releases.
336 points by Anon84 | 29 comments
PDF of the second edition of the textbook "Algorithms for Optimization" by Kochenderfer and Wheeler.