#AutomatedReasoning

roxsross

@roxsross.bsky.social

3 weeks ago

🧮 Nuestras primeras pruebas de demostración

Los intentos de prueba de nuestro modelo de IA para un desafío matemático de alto nivel.

https://openai.com/index/first-proof-submissions

#AIProofs #AutomatedReasoning #FormalMethods #RoxsRoss

Gerrit Eicker

@eicker.bsky.social

3 months ago

#Amazon is leveraging #automatedreasoning, a form of #AI based on #formallogic, to address the issue of #AIhallucinations. This approach uses #mathematicalcertainty to verify the accuracy of #generativeAI, particularly in the context of #AIagents. By combining the flexibility with the reliability,…

Philip Zucker

@sandmouth.bsky.social

4 months ago

Implementing E Unification using SMT Unification is a logical flavored word for the notion of equation solving.

[New Blog Post] Implementing E Unification using SMT www.philipzucker.com/smt_unify/ #logic #automatedreasoning #smt

@mikolasonblue.bsky.social

6 months ago

In our recent paper we make a connection between the embedded space and the actual problem space. #ML #automatedreasoning

Geometric Reasoning in the Embedding Space www.mdpi.com/3480882 #mdpimake via @MAKE_MDPI

Elizabeth Fuentes L

@elizabethfue12.bsky.social

7 months ago

Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available | Amazon Web Services Build responsible AI applications with the first and only solution that delivers up to 99% verification accuracy using sound mathematical logic and formal verification techniques to minimize AI hallucinations...

📰🚨Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available by Danilo Poccia

#AutomatedReasoning #AWS #AI #BedrockGuardrails #TechInnovation

allPhoto Bangkok / Advanced Ventures

@allphotobangkok.bsky.social

7 months ago

How logic can help AI models tell more truth, according to AWS Linking AI models to formal verification methods can correct LLM shortcomings such as false assertions. Amazon's Byron Cook explains the promise of automated reasoning.

AI models linked to formal verification improve accuracy by correcting false assertions. Amazon's Byron Cook discusses automated reasoning potential.
www.zdnet.com/article/how-logic-can-he...
#AI #AIModels #AIResearch #AutomatedReasoning #LLM

Ross Duncan

@rossquantum.bsky.social

8 months ago

Hey #quantum people! Are you using #lean? Are you using another theorem prover or proof assistant? What are you using it for? Papers and source repos are especially appreciated.
#automatedreasoning #proofassistant #ai1.0 #quantumcomputing

Danilo Poccia

@danilop.bsky.social

10 months ago

Join me at AWS Summit London Foster continuous innovation, gain new skills, and network with peers at AWS Summit London.

See you on Wednesday at the AWS Summit London!

I am copresenting with Georgi Botsihhin:

Exploring Automated Reasoning Checks in Amazon Bedrock Guardrails (GAI312)

South Zone, Theatre S, 14:30 - 15:15

buff.ly/wF6m0WV

#AWS #Summit #AI #GenerativeAI #AutomatedReasoning

José A. Alonso

@jalonso.eurosky.social

2 years ago

Lecturas compartidas el 8 de marzo de 2024 Lecturas de razonamiento automático, Haskell, programación funcional, IA y aprendizaje automático.

Lecturas compartidas el 8 de marzo de 2024. jalonso.substack.com/lecturas-com... #ITP #AutomatedReasoning #MachineLearning #Haskell #FunctionalProgramming #AI #LLMs #Math

José A. Alonso

@jalonso.eurosky.social

2 years ago

Learning guided automated reasoning: A brief survey. ~ Lasse Blaauwbroek, David Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban. arxiv.org/abs/2403.04017 #AutomatedReasoning #MachineLearning

José A. Alonso

@jalonso.eurosky.social

2 years ago

Imandra: Automated Reasoning for LLMs LLMs have fundamental flaws leading to hallucinations, lack of explainability and scalability to unseen scenarios. With Imandra, we can teach LLMs to build l...

Imandra: Automated reasoning for LLMs. youtu.be/e8uFEQ3alo4 #AutomatedReasoning #LLMs #Imandra

José A. Alonso

@jalonso.eurosky.social

2 years ago

On making mathematic proof a business. ~ Byron Cook (@byroncook). youtu.be/zoE3DqglcgM #AutomatedReasoning #Math #CompSci