Tweet

Domani DevOps

Follow @ProjectDomani

9 May, 4 tweets, 2 min read

Using #ProgramSynthesis to Build Compilers

#VerifiedLifting Method

we first "LIFT" the source code into a HIGH-level summary that captures the semantics of the input, and subsequently generate executable code in the target language from the summary

https://twitter.com/QuantaMagazine/status/1391363833047003137

Lift to Meta Level to Evaluate Program Logic

Relate to Automated Proof Writing and Mathematical Consistency Analytics, including Components of #AIPhysicist Projects on the Horizon

https://twitter.com/QuantaMagazine/status/1391363833047003137

Applying AI to the Meta-Level to Generate New Variants of the Code and/or Rapidly Re-Design the Existing Program ?

Using Artificial Intelligence to Write Self-Modifying/Improving Programs

primaryobjects.com/2013/01/27/usi…

• • •

Missing some Tweet in this thread? You can try to force a refresh

This Thread may be Removed Anytime!

Twitter may remove this content at anytime! Save it as PDF for later use!

More from @ProjectDomani

Domani DevOps

@ProjectDomani

9 May

https://twitter.com/ProjectDomani/status/1391506960969871367

#MotherNature

The Emergent Agents from the Cambrian Explosion are NOT Passive

Feedback Loops are a Dominant Part of the Evolution of a Complex Adaptive System

https://twitter.com/ProjectDomani/status/1391506960969871367

The #WolfPack

Agents Search the Local Environment for New Prey

Wolf Pack Cooperation Emerges as an Edge in the Competition to Survive and Reproduce

The Pack (Hyenas) vs The Lion

Read 15 tweets

Domani DevOps

@ProjectDomani

9 May

#Graphs

#MonkeySeeMonkeyDo

Extraction of Local World Dynamics (Newtonian Scale) from E2E Image Based Learning using Graphs

Q: Can #SkyNet Learn to Hit a Curve-Ball using Video from a Batter's View?

Read 5 tweets

Domani DevOps

@ProjectDomani

8 May

Building #CelestialHolography

Exploring possible Dualities to enable New Insights and Symbol Manipulations

#SabrinaPasterski

Implications of #Superrotations

PhD Thesis at Harvard
Adviser = #Strominger

arxiv.org/pdf/1905.10052…

#Scattering in 4D asymptotically flat space-times obeys an infinite-dimensional symmetry algebra that matches the structure of a 2D conformal field theory (CFT) living on the #CelestialSphere.

arxiv.org/pdf/2012.15694…

Read 11 tweets