🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Constraint Programming

Satisfiability, Logic Programming, Optimization, Search

WEPP-COMPARE: A Web-Based Decision Support System for Comprehensive Land Management and Soil Erosion Assessment
sciencedirect.com·15h
🎲Probabilistic Programming
AI Plays Risk – Lessons from a silly benchmark
andreasthinks.me·17h·
Discuss: Hacker News
⚖Algorithmic Game Theory
The Midway software design pattern
dev.to·5h·
Discuss: DEV
⚡Concurrency
Solver Tools: The Ultimate Hub for Productivity-Boosting Digital Tools
dev.to·14h·
Discuss: DEV
🧩Theorem Proving
Daily JavaScript Challenge #JS-244: Merge Overlapping Intervals
dev.to·7h·
Discuss: DEV
🧠Memory Management
Five ways that AI is learning to improve itself
technologyreview.com·12h
🤖Sci-Fi
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·12h·
Discuss: Hacker News
⚡Concurrency
Lifetime Early Prediction for Second-Life Lithium-Ion Battery: A Hierarchical Bayesian Learning Method
sciencedirect.com·17h
🎲Probabilistic Programming
Hacking Hallucinations of MLLMs with Causal Sufficiency and Necessity
arxiv.org·3h
🔗Parser Combinators
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·1d
🔗Parser Combinators
RooseBERT: A New Deal For Political Language Modelling
arxiv.org·1d
🔗Parser Combinators
Causality-Driven Audits of Model Robustness
arxiv.org·3h
🎲Probabilistic Programming
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·2d
🧮Programming Language Theory
Can OpenAI's gpt-oss-120b Outperform Llama 3, Mixtral, and Deepseek?
softreviewed.com·15h·
Discuss: DEV
🧭SMT Solvers
Enhancing Serendipity Recommendation System by Constructing Dynamic User Knowledge Graphs with Large Language Models
arxiv.org·3h
🎲Probabilistic Programming
Evaluating, Synthesizing, and Enhancing for Customer Support Conversation
arxiv.org·3h
🧩Theorem Proving
Enhancing Interactive Data Exploration Through Dynamic Semantic Graph Projection
dev.to·44m·
Discuss: DEV
🕸️Graph Theory
Automated Dispute Resolution for Genomic Sequencing Errors in Cancer Treatment
dev.to·2h·
Discuss: DEV
🎲Probabilistic Programming
Eliciting and Analyzing Emergent Misalignment in State-of-the-Art Large Language Models
arxiv.org·3h
🔗Parser Combinators
Announcing MCP•RL: teach your model how to use any MCP server automatically using reinforcement learning!
threadreaderapp.com·12h
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap