๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
โ Formal Verification
Proof Assistants, Correctness Guarantees, Logic Systems, Specification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
A Study on the Application of Artificial Intelligence in Ecological Design
arxiv.org
ยท
13h
๐๏ธ
Language Design
Abhigyan Khaund on the Systems Engineering Behind AI Applications
hackernoon.com
ยท
1d
๐
DevOps
Machine Learning Fundamentals: decision trees project
dev.to
ยท
2d
ยท
Discuss:
DEV
๐
DevOps
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org
ยท
1d
๐๏ธ
Language Design
Google I/O Connect 2025 Recap: Gemini, Open Models, and AI in Action
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
DevOps
As AI Agents Rise, Your Non-Human Identity Strategy Must Evolve
dev.to
ยท
1d
ยท
Discuss:
DEV
๐
DevOps
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org
ยท
2d
๐ฆ
Rust
Machine Learning Fundamentals: decision trees with python
dev.to
ยท
1d
ยท
Discuss:
DEV
๐ณ
Container Orchestration
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org
ยท
1d
๐๏ธ
Language Design
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org
ยท
13h
๐๏ธ
Language Design
Compressed data structures for Heegaard splittings
arxiv.org
ยท
1d
๐๏ธ
Language Design
Introduction: AI Terminology
dev.to
ยท
1d
ยท
Discuss:
DEV
๐๏ธ
Language Design
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org
ยท
1d
๐๏ธ
Language Design
Machine Learning Fundamentals: data preprocessing with python
dev.to
ยท
3d
ยท
Discuss:
DEV
๐ฆ
Rust
How Grammarly and Kasta Made Ukraine a Global Clojure Hotspot
hackernoon.com
ยท
1d
๐ฆ
Rust
Anthropomimetic Uncertainty: What Verbalized Uncertainty in Language Models is Missing
arxiv.org
ยท
1d
๐๏ธ
Language Design
A Leap-on-Success Exhaustive Search Method to Find Optimal Robust Minimum Redundancy Arrays (RMRAs): New Array Configurations for Sensor Counts 11 to 20
arxiv.org
ยท
1d
๐๏ธ
Language Design
eSapiens: A Platform for Secure and Auditable Retrieval-Augmented Generation
arxiv.org
ยท
2d
๐
DevOps
Machine Learning Fundamentals: decision trees tutorial
dev.to
ยท
2d
ยท
Discuss:
DEV
๐ณ
Container Orchestration
Enhancing Your Matillion Python Component with a Custom Matillion Python Package Powered by Amazon Q Developer
dev.to
ยท
2d
ยท
Discuss:
DEV
๐ณ
Container Orchestration
Loading...
Loading more...
« Page 4
โข
Page 6 »