#automatedreasoning — Public Fediverse posts

#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, https://www.fastcompany.com/91446331/amazon-byron-cook-ai-artificial-intelligence-automated-reasoning-neurosymbolic-hallucination-logic?eicker.news #tech #media #news

Want do do a PhD in Computer Science in the heart of Europe? We are (still) hiring!

4 FWF-funded positions at TU Wien for doctoral students in our newly founded doctoral college on

Automated Reasoning (https://forsyte.at/docfunds/)

Come to Vienna (repeatedly ranked the world's most livable city) to work with an amazing team on on exciting topics at the intersection of security and artificial intelligence with Automated Reasoning at the core!

Deadline: November 27, 2025
Start: immediately (or soon after)
Details: https://forsyte.at/docfunds/

#phd #jobs #fwf #AutomatedReasoning

Want do do a PhD in Computer Science in the heart of Europe? We are hiring!

10 FWF-funded positions at TU Wien for doctoral students in our newly founded doctoral college on

Automated Reasoning (https://forsyte.at/docfunds/)

Come to Vienna (repeatedly ranked the world's most livable city) to work with an amazing team on on exciting topics at the intersection of security and artificial intelligence with Automated Reasoning at the core!

Deadline: May 18, 2025
Start: October 2025 (or soon after)
Details: https://forsyte.at/docfunds/

#phdposition #phd #hiring #automatedreasoning #security #artificial_intelligence #FWF

Kleiner #ScienceSlam im Rahmen des #GI-Dissertationspreises auf der #informatik2024 :

https://www.youtube.com/watch?v=072y-d3iVWw

#SatSolving #HPC #AutomatedReasoning
@informatik @KITInformatik

Kleiner #ScienceSlam im Rahmen des #GI-Dissertationspreises auf der #informatik2024 :

https://www.youtube.com/watch?v=072y-d3iVWw

#SatSolving #HPC #AutomatedReasoning
@informatik @KITInformatik

Kleiner #ScienceSlam im Rahmen des #GI-Dissertationspreises auf der #informatik2024 :

https://www.youtube.com/watch?v=072y-d3iVWw

#SatSolving #HPC #AutomatedReasoning
@informatik @KITInformatik

Kleiner #ScienceSlam im Rahmen des #GI-Dissertationspreises auf der #informatik2024 :

https://www.youtube.com/watch?v=072y-d3iVWw

#SatSolving #HPC #AutomatedReasoning
@informatik @KITInformatik

Kleiner #ScienceSlam im Rahmen des #GI-Dissertationspreises auf der #informatik2024 :

https://www.youtube.com/watch?v=072y-d3iVWw

#SatSolving #HPC #AutomatedReasoning
@informatik @KITInformatik

I'm very honored to have received the inaugural Fahiem Bacchus Award at #SAT'24 in Pune (India) for my dissertation entitled Scalable #SATSolving and its Application. Many thanks to the award committee, including @arminbiere, for this amazing recognition! It really encourages me to continue this research, further pushing the scalability of #AutomatedReasoning in #HPC and #Cloud systems.

Don't call it portfolio #SATsolver! In our latest journal article, we show that getting clause sharing right leads to scalable distributed #SATSolving even if all solver threads are initially identical. This motivates us to drop the prior portfolio-centric intuition for parallel SAT and to rather adopt the term "clause-sharing (SAT) solver" going forward. https://doi.org/10.1613/jair.1.15827 #AutomatedReasoning #KIT #SAT #HPC

[New Blog Post] Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas https://philipzucker.com/coegraph/ #egraph #logic #automatedreasoning

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

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

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

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

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

@tao good to see the mentioning of topics such as #AutomatedReasoning and #SatSolving. There has been significant progress in these fields in the last 30 years as well, so I am a bit surprised that they are dubbed as GOFAI, which characterizes the limits of rule-based systems https://en.m.wikipedia.org/wiki/GOFAI

@tao good to see the mentioning of topics such as #AutomatedReasoning and #SatSolving. There has been significant progress in these fields in the last 30 years as well, so I am a bit surprised that they are dubbed as GOFAI, which characterizes the limits of rule-based systems https://en.m.wikipedia.org/wiki/GOFAI

@tao good to see the mentioning of topics such as #AutomatedReasoning and #SatSolving. There has been significant progress in these fields in the last 30 years as well, so I am a bit surprised that they are dubbed as GOFAI, which characterizes the limits of rule-based systems https://en.m.wikipedia.org/wiki/GOFAI

@tao good to see the mentioning of topics such as #AutomatedReasoning and #SatSolving. There has been significant progress in these fields in the last 30 years as well, so I am a bit surprised that they are dubbed as GOFAI, which characterizes the limits of rule-based systems https://en.m.wikipedia.org/wiki/GOFAI

@tao good to see the mentioning of topics such as #AutomatedReasoning and #SatSolving. There has been significant progress in these fields in the last 30 years as well, so I am a bit surprised that they are dubbed as GOFAI, which characterizes the limits of rule-based systems https://en.m.wikipedia.org/wiki/GOFAI

Here's my recap of last week's Amazon Web Services (AWS) re:Inforce key themes and announcements

#devsecops #cloudsecurity #infosec #cybersecurity #sharedresponsibility #sbom #vulnerabilitymanagement #genAI #automatedreasoning #provablesecurity https://www.techtarget.com/searchsecurity/opinion/New-AWS-security-tools-updates-help-IT-protect-cloud-apps