📜 Operational Semantics - ghosh.debasish · Scour

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering 📐Linearizability

arxiv.org·2d

How we built a real-world evaluation platform for autonomous SRE agents at scale 🧠Reasoning Models

datadoghq.com·3d·Hacker News

Reproducing steering against evaluation awareness in a large open-weight model 🎯RLHF

lesswrong.com·4h

Benchmarking LLMs with Marimo Pair 📊LLM Evaluation

ericmjl.github.io·17h·Hacker News

How to perform a structured evaluation of AI conversational solutions 📊LLM Evaluation

thoughtworks.com·2d

alexfleetcommander/smokehouse-eval: The BBQ Benchmark - Competition-judging framework for AI model evaluation. Applies BBQ judging mechanics (double-blind, drop-scoring, weighted multi-dimensional criteria) to AI evaluation. 📊LLM Evaluation

github.com·21h·DEV

Stanford Causal Science Conference: Frontiers in AI Evaluation 🧠Reasoning Models

theeconomicmisfit.com·13m

Comparative evaluation of large language model–based AI chatbots in solving ophthalmological clinical case vignettes 🧠Reasoning Models

nature.com

·6d

Structural Transformations in Multi-Stage Dialogues with Large Language Models 🧠LLMs

zenodo.org·2d·r/LLM

A SCADA-informed evaluation method for wake-induced power losses considering the flow heterogeneity within large-scale wind farm 🌐Distributed Systems

sciencedirect.com·23h

BSD performance and compatibility on PINE64 ROCKPro64 💾Storage Engines

discoverbsd.com·9h

UCCL-EP: Portable Expert-Parallel Communication 🌊Streaming Algorithms

uccl-project.github.io·2d·Hacker News

Anthropic’s Designs Three-Agent Harness Supports Long-Running Full-Stack AI Development 🤖AI Agents

infoq.com·6d

Stop shipping untested prompts: 9 eval gates you actually need 📊LLM Evaluation

medium.com

·22h

Architecting the Score: The Tech Behind AI Interview Evaluation 📊LLM Evaluation

sitepoint.com·2d

AI Coding and Best Tools Compared 🤖Claude

altexsoft.com·2d

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer 🔁Category Theory

arxiv.org·11h

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast λFunctional Programming

adambien.blog·3d

Anthropic detects 'strategic manipulation' features in Claude Mythos, including exploit attempts and hidden evaluation awareness — prompting concern over model ... 🤖Claude

techradar.com

·2d

Awesome Open Source AI 🌊Streaming Algorithms

awesomeosai.com·5d·r/SideProject

Loading more...