60 stories tagged with #formal, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Formal"
Should AI be formally recognized as a national and global security threat? In London, politicians increasingly think so
ABC Formally Rebukes F.C.C. for Review of TV Licenses
Why Don't People Use Formal Methods?
I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, …
The EU formally launches a bidding process to develop AI Gigafactories, expecting to unlock ~€30B of investment, closing on November 12 with awards in July 2027 (Edith Hancock/Wall Street Journal)
SpecForge – A Platform for Authoring Formal Specifications
The Agentic AI Foundation updates MCP with a fully stateless architecture, a hardened authentication model, a formal 12-month deprecation policy, and more (Michael Nuñez/VentureBeat)
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified again…
Formal and informal employment slumped during the first half of 2026
AI’s next test — reaching India’s informal women worker
India’s journey towards Viksit Bharat by 2047 rests on whether the productivity gains unlocked by artificial intelligence are broadly shared or concentrated among those already wel…
Over nine million workers now informally employed in Argentina
Even though unemployment levels remain almost unchanged, the wear is beginning to show in job quality. Specialists warn involvement of young women is growing, but mostly in informa…
Australian Vanadium submits formal proposal to build $150 million Kalgoorlie-Boulder battery project
Australian Vanadium says it has submitted a formal proposal to build the State Government’s $150 million vanadium battery energy storage project in Kalgoorlie-Boulder.…
Venezuela formally exits ICC amid accusations of political bias
Caracas announced its “irrevocable” withdrawal from the ICC, claiming the court has been politicized and unfairly targets countries in the Global South.…
Xavier Leroy on programming, languages and formal verification
Comments…
Senegal’s Faye launches a new party, formalising his split with Sonko
Months of tensions between president and ex-ally culminate in split that will reshape Senegal's political landscape.…
Jackson formally clinches Democratic nod to take on Collins in Maine Senate race
An Introduction to Formal Logic(2020) [pdf]
Sarah Ferguson’s charity formally closes down following Epstein scandal
Sarah’s Trust announced it would close ‘for the foreseeable future’ days after new revelations emerged about her friendship with Epstein…
JD Vance releases first formal photos of new family of six
The vice presidential family posted three new photos online of baby Alec with the rest of the Vance family.…
OpenAI formally launches ChatGPT Health feature for all US users - FirstWord Pharma
OpenAI formally launches ChatGPT Health feature for all US users FirstWord Pharma…
Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
arXiv:2607.19374v1 Announce Type: new Abstract: Recent formal reasoning systems have reached IMO-level performance, yet they leave a fragmented landscape: algebra and number theory…
Sources: Google is developing a specialized server chip, informally dubbed "Frozen v2", that integrates Gemini AI model blueprints in the silicon, set for 2028 (The Information)
A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game
arXiv:2607.08986v1 Announce Type: new Abstract: We formalize a research result in the Lean 4 proof assistant by having a mathematician direct an AI system, and frame the activity a…
CogniConsole: Externalizing Inference-Time Control as a Formal Abstraction for Reliable LLM Interactions
arXiv:2607.08774v1 Announce Type: new Abstract: Reliability in large language model (LLM) systems is typically framed as a function of model capability. We challenge this by demons…
Soatok's Informal Guide to Threat Models
After a long day of exhausting conversations about Hybrid Post-Quantum Cryptography, random jackasses trying to play gotcha with endpoint attacks against end-to-end encrypted messa…
Kore Potash adds new party to formal sale process
Israel moves to formally recognize Armenian WWI deaths as a genocide
Israel's Cabinet approved a proposal to designate violence against Armenians by the Ottoman Empire during World War I as a genocide. The step reflects deteriorating ties between Is…
Carville calls for formal ‘schism’ with socialist candidates: ‘Can’t be in the same party’
Democratic strategist James Carville this week urged socialists in the Democratic Party to split off and create their own political movement, arguing the policies they favor are no…
Reading AI Model Compilation in MLIR Through the Lens of Formal Theories
Compiler infrastructures such as MLIR rest on a set of design principles: IR abstractions, interfaces, match-and-rewrite, flow analysis, type conversion, staged lowering, and so on…
Slate Crossword: Horizontal Lifestyle Trend, Informally (Six Letters)
Ready for some wordplay? Sharpen your skills with Slate’s puzzle for June 22, 2026.…
White House launches full-court press to sell Iran agreement ahead of formal signing, release of text
THE HARD SELL: Vice President JD Vance — whose digital signature is already affixed to the memorandum of understanding aimed at ending the Iran war — made the circuit of network an…
French singer Patrick Bruel under formal investigation for rape
Bruel was released from custody under judicial supervision while an examining magistrate looks more deeply into the case.…
Southern Baptists vote to advance a formal ban on churches with women pastors
Thousands of Southern Baptists have voted overwhelmingly to advance a formal ban on churches with women pastors in the nation’s largest conservative evangelical denomination…
FTX co-founder Sam Bankman-Fried formally applies for a presidential pardon; he was sentenced to 25 years in prison in 2024, following the FTX collapse (Bloomberg)
Bloomberg : FTX co-founder Sam Bankman-Fried formally applies for a presidential pardon; he was sentenced to 25 years in prison in 2024, following the FTX collapse — FTX co-founder…
CBP seizes nearly $100K from Dulles Airport Travelers Without Formal Charges
Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts
While Large Language Models (LLMs) have shown strong performance in generating formal proofs, their outputs often remain less readable, modular, maintainable, and reusable than pro…
A formal definition and meta-model for a machine theory of mind
This paper proposes, for the first time, a rigorous formal definition of the concept of Machine Theory of Mind, based on principles supported by evidence from cognitive psychology,…
LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
Large Language Models (LLMs) exhibit strong informal mathematical reasoning but struggle to generate mechanically verifiable proofs in formal languages like Lean. We present LEAP, …
Canada formally requests 16-year renewal of North American free trade pact
In a letter to his North American counterparts, US-Canada Trade Minister Dominic LeBlanc said the three countries should renew the USMCA trade deal.…
Who verifies the verifier? Notes on DeepMind's formal proof-search paper
An AI built the machine I said mathematics needed — a compiler that verifies proofs for cents instead of expert weekends. The catch is what it still can't read.…
Ferrari Films Issues Formal Rebuttal to Forbes Article Mischaracterizing Section 168(k) as "Worthless" for Film Investors - Morningstar
Comprehensive up-to-date news coverage, aggregated from sources all over the world by Google News.…
Court Formally Clears Hernan Lopez, Former Fox TV Exec and Wondery Founder, of Bribery Charge
A federal court dismissed the bribery indictment against Hernan Lopez, former head of Fox International Channels and founder of Wondery.…
SEC moves to formally rescind corporate climate disclosure requirements
The Securities and Exchange Commission (SEC) formally proposed Friday to rescind its 2024 rule that would have required publicly traded companies to disclose certain information re…
The blockchain trilemma originated from a 2017 blog post — not a peer-reviewed paper. Two formal academic papers in July 2025 refuted it. Does the industry's most cited framework hold up?
Continuous Diffusion Models Can Obey Formal Syntax
Diffusion language models offer a promising alternative to autoregressive models due to their global, non-causal generation process, but their continuous latent dynamics make discr…
US, Mexico launch formal trade talks, haggle over automotive content rules
The most important AI use case isn't in Silicon Valley
This is a submission for the Hermes Agent Challenge: Write About Hermes Agent The informal economy...…
Alberta formalizes separation question ahead of October referendum
Premier Danielle Smith and her cabinet have issued an order in council confirming the exact phrasing of the question…
Rockstar developers to formally unionize ahead of legal battle with the company
GTA 6 devs now have a formal union.…
Brazil creates fewer formal jobs than expected in April
Packers RB Josh Jacobs released following arrest, no formal charges made
Josh Jacobs was released from jail on Wednesday, and the Brown County District Attorney's office is "not yet prepared" to issue formal charges.…
U.S. eases some tariffs on Taiwan to formalize trade agreement
The move forms part of a trade deal previously agreed between Washington and Taipei.…
Formalizing a Divergence Monitor: Stochastic Implementation of Phase Divergence and Invisible Moves
US eases some tariffs on Taiwan to formalise trade agreement
The US will remove derivative aluminium, steel and copper duties from aircraft components imported from Taiwan, according to a notice. Read more at straitstimes.com. Read more at s…
How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification
How Google DeepMind's AlphaProof Nexus Cracks 56-Year-Old Math Problems: A Deep Dive into...…
28 Black-Tie Wedding Guest Dresses That Are Perfectly Formal
Everything from sequined gowns to maximalist florals.…
Google finally gets around to formally introducing its new icon designs
You've probably already seen many of Google's new icons, and now the company is explaining its intentions with the redesign.…
My mum and I run a small consulting business with no real process. Getting clients but everything is held together with a string. How did you formalise yours? (I will not promote)
Barcelona forward target prepared to force his way out once formal offer is made
The search for Robert Lewandowski’s long-term successor is becoming the defining mission of Barcelona’s summer planning, and Joao Pedro is now gathering serious momentum.While much…
Heimdall: Formally Verified eBPF-to-Rust Migration
Extended Berkeley Packet Filter (eBPF) programs are kernel extensions used for networking, observability, and security enforcement in the Linux kernel. The in-kernel eBPF verifier …
ATWL: A Formal Language for Representing, Comparing, and Reusing Visual Analytics Workflows
Visual analytics (VA) workflows are inherently complex, involving data transformation, feature engineering, visual representation, and human interpretation. They are typically desc…