Ειδήσεις: FORMAL VERIFICATION | PXAI

Version	Description	Date
8.42	[ADDED SOURCE REGISTRY LIST VIEW]	04/03/2026 16:19
8.41	[LOCALIZED INDEX.PHP MENU AND MODALS TO US ENGLISH]	04/03/2026 16:11
8.40	[TRANSLATED FRONTEND TO US ENGLISH]	04/03/2026 16:10
8.41	[RESTORED DETAILED SOURCES VIEW (ARTICLES + EVENTS) IN US ENGLISH]	04/03/2026 15:50
8.41	[RESTORED DETAILED SOURCES VIEW (ARTICLES + EVENTS) IN US ENGLISH]	04/03/2026 15:46
8.40	[REVERTED TO STANDARD TABLE LAYOUT (US ENGLISH)]	04/03/2026 15:40
8.39	[FIXED DB CONNECTION SCOPE IN SOURCES LOGIC]	04/03/2026 15:38
8.38	[TRANSLATED SOURCES VIEW TO US ENGLISH]	04/03/2026 15:01
8.37	[FULL FRONTEND TRANSLATION (MENU, FEED, COMMENTS, TTS) TO US ENGLISH.]	04/03/2026 14:58
8.67	[MANUAL OVERRIDE OF GREEK MENU ITEMS]	04/03/2026 13:36
8.66	[NGINX OPTIMIZED MENU FIX]	04/03/2026 13:33
8.65	[FIXED GREEK MENU ITEMS]	04/03/2026 13:32
8.60	[MENU & UI LOCALIZATION TO US ENGLISH]	04/03/2026 13:30
8.50	[FULL TRANSLATION TO US ENGLISH]	04/03/2026 13:27
9.75	[INJECTED EVENT FUSION_SUMMARY INTO FEED LOOPS TO DISPLAY AI TAGS CORRECTLY]	26/02/2026 14:44

31/03 07:00 arxiv.org

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?

FormalProofBench formal verification Lean 4 graduate mathematics benchmark natural‑language

28/03 17:44 dev.to

The Masked Truth: When Mathematical Rigor Becomes Marketing in Modern Protocols

cryptography blockchain mathematical security formal verification empirical hardening ethical concerns

26/03 12:04 dev.to

Smart Contract Auditing Explained: A Technical Guide to Security Analysis and Verification

smart contract auditing Web3 security OWASP SCSVS formal verification EVM testing immutable contracts

24/03 12:29 dev.to

Halmos + Foundry: How Symbolic Testing Catches the Bugs Your Fuzzer Will Never Find

symbolic testing Foundry Halmos smart contract fuzzing SMT solver a16z crypto

23/03 06:00 arxiv.org

Learning to Disprove: Formal Counterexample Generation with Large Language Models

Large Language Models Counterexample Generation Formal Verification Lean 4 Mathematical Reasoning Theorem Proving

23/03 06:00 arxiv.org

Stepwise: Neuro-Symbolic Proof Search for Automated Systems Verification

neuro-symbolic proof search large language models formal verification theorem proving best‑first search

19/03 06:00 arxiv.org

Transformers are Bayesian Networks

transformers Bayesian networks belief propagation AI architecture probabilistic inference loopy BP

19/03 06:00 arxiv.org

Formal verification of tree-based machine learning models for lateral spreading

formal verification tree ensembles SMT solver geotechnical hazard prediction physical constraints machine learning explainability

18/03 08:31 bertrandmeyer.com

Celebrating Tony Hoare's mark on computer science

Tony Hoare Quicksort Hoare logic formal verification programming languages concurrency

18/03 08:31 bertrandmeyer.com

Celebrating Tony Hoare's mark on computer science

Tony Hoare Quicksort Hoare logic formal verification programming languages concurrency

Loading...