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
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

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
 

Keep Current with Domani DevOps

Domani DevOps Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

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

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @ProjectDomani

9 May
#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

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
9 May
#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? Image
Image
Read 5 tweets
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
7 May
#chinarocket

Potential Debris Field upon Re-Entry

Forecasts will NOT improve until a few hours before Impact Image
#ChinaRocket

Update at 5pm EDT
Likely 1st "meaningful" estimates as Impact Time Window should Narrow
Image
Read 8 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!

Follow Us on Twitter!

:(