English

Posts with #ProgramSynthesis

#ProgramSynthesis

Public posts on X that use #ProgramSynthesis.

Related hashtags

  1. Archit Jain@arc_hitter
    Really happy to see this out and excited to share our latest work! I had a great time working on this with the team. Check out full details and demo in the thread below! 👇 #robotics #ProgramSynthesis #HumanInTheLoop #LanguageCorrection #llm #perception #RobotLearning
    Daphne Chen @Daphne__Chen
    VLAs can do a lot zero-shot. But when one fails, there's no way to tell it what went wrong - you collect more demos and retrain. What if you could just say something? Introducing ARCHITECT 🤖👷: a robot coding agent that synthesizes policies from free-form language instructions. 🧵1/N
    001102
  2. Daphne Chen✓@Daphne__Chen
    VLAs can do a lot zero-shot. But when one fails, there's no way to tell it what went wrong - you collect more demos and retrain. What if you could just say something? Introducing ARCHITECT 🤖👷: a robot coding agent that synthesizes policies from free-form language instructions. 🧵1/N
    Download
    103212716.8K
  3. IJPLA@ijpla
    Call For Papers...!!! International Journal of Programming Languages and Applications (IJPLA) ISSN : 1839-6291 Contact Us ijplajournal@yahoo.com (or) ijplajournal@wireilla.com Paper Submission Link:
    Download
    1004
  6. Li Li@leeley18
    Can computer construct density functionals in the symbolic form? I would like to share with you our latest work on machine learning applying to density functional theory -- Evolving symbolic density functionals ( #SymbolicRegression #ProgramSynthesis 1/3
    Download
    3427
  8. Mike Chung@mjycio
    I’m a big fan of “solver-aided programming” idea, so I tried Emina Torlak’s #rosette, which is written in #racket, but I’m more comfortable #programming in #javascript. So I built #z3js ( a tiny utility repo with a big dream of creating solver-aided JS!
    120
  9. Mike Chung@mjycio
    @mjycio
    The coolest demo using z3js is probably the #programsynthesis demo ( it is very loosely following @samps' program synthesis blog post (
    001
  18. Antonio Alegria@antonioalegria
    The most interesting thing about Google's version of FlashFill is that it actually produces a visible Expression. Very cool #MLonCode #ProgramSynthesis
    Rishabh Singh @rishabhs
    Program Synthesis coming soon to Google Sheets!
    002
  27. Sriram Rajamani@SriramRajamani
    Blog describing our recent work on fixing bugs in machine written software -- Jigsaw, paper to appear at ICSE 2022
    0448
  28. Show more posts