October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Adaptive Clock Distribution Network Synchronization via Dynamic FPGA Reconfiguration & Bayesian Inference
🔮CPU Branch Prediction
Flag this post
A meta-interactive neural network for solving time-varying quadratic programming problems
nature.com·2d
🪜Recursive Descent
Flag this post
<p>**Abstract:** This paper introduces a novel approach to constructing minimal polynomials for matrices within numerical linear algebra using reinforcement lea...
freederia.com·23h
🧩Constraint Solvers
Flag this post
Cyber-Resilient Data-Driven Event-Triggered Secure Control for Autonomous Vehicles Under False Data Injection Attacks
arxiv.org·2d
🛡️Security Type Systems
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·7h
📋Backus-Naur Form
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
🎭Program Synthesis
Flag this post
RFT Theorems
🔢Algebraic Datatypes
Flag this post
Enhanced Piezoelectric Polymer Actuator Performance via Dynamic Material Property Calibration
🔌Microcontrollers
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·17h
🔗Hash Functions
Flag this post
AK-TSYS: An enhanced active learning Kriging model for time-dependent system reliability analysis
sciencedirect.com·17h
🔄Loop Optimization
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🔄Nanopass
Flag this post
Emerging Synaptic Memory Technologies For Neuromorphic CIM Platforms (Tampere Univ.)
semiengineering.com·1d
🏰Capability Machines
Flag this post
Utility-scale dynamic circuits now available for all users
ibm.com·3d
🔬Nanopasses
Flag this post
Robots learn complex tasks with help from AI
engineering.yale.edu·1d
🎭Program Synthesis
Flag this post
Loading...Loading more...