MarkTechPost - 2026-07-03
3 items collected.
1. Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
Author: Asif Razzaq
Published: 7/3/2026, 10:20:26 PM
Categories: Agentic AI, AI Agents, Applications, Artificial Intelligence, Editors Pick, Language Model, Large Language Model, Machine Learning, New Releases, Software Engineering, Staff, Tech News, Technology, Uncategorized
Mistral AI released Leanstral 1.5, a free Apache-2.0 code agent model for Lean 4. It saturates miniF2F and solves 587 of 672 PutnamBench problems. The 119B mixture-of-experts activates 6.5B parameters per token. We break down its architecture, benchmarks, real bug-finding case studies, and deploymen...
2. Designing a Schema-Guided Invoice Intelligence Pipeline with lift-pdf for Accounts-Payable Extraction, Validation, and Ledger Generation
Author: Sana Hassan
Published: 7/3/2026, 9:25:33 PM
Categories: AI Shorts, Applications, Artificial Intelligence, Editors Pick, OCR, Staff, Technology, Tutorials
In this tutorial, we build an end-to-end accounts-payable extraction pipeline with lift-pdf, using synthetic invoice PDFs as controlled test documents and a structured JSON schema as the target output format. Instead of treating invoice parsing as a simple OCR task, we frame it as schema-guided docu...
3. Meet WebBrain: An Open-Source, Local-First AI Browser Agent That Reads Pages and Automates Tasks in Chrome and Firefox
Author: Asif Razzaq
Published: 7/3/2026, 5:55:47 AM
Categories: Agentic AI, AI Agents, AI Shorts, Applications, Artificial Intelligence, Editors Pick, Large Language Model, Machine Learning, New Releases, Open Source, Promote, Software Engineering, Sponsored, Staff, Tech News, Technology, Uncategorized
WebBrain is a free, MIT-licensed AI browser agent for Chrome and Firefox. It reads pages, extracts data, and automates multi-step tasks through Ask and Act modes. Run it on local models like llama.cpp or Ollama for privacy, or connect any cloud API. The post Meet WebBrain: An Open-Source, Local-Firs...