ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

The gist: LLMs struggle with DSLs because these formal languages have specialized syntax rarely seen in training data. Grammar prompting addresses this by teaching LLMs to work with Backus-Naur Form (BNF) grammars as an intermediate reasoning step.

Apr 28, 2025, 7:00 PM

Record data

{
  "uri": "at://did:plc:xiodvyinscojmj5y6w5obl7w/app.bsky.feed.post/3lnvhao4srf2k",
  "cid": "bafyreif7cgx7554za5lomm23azl3vz3ngw2ccpy6hdaairb6sl4su7be4i",
  "value": {
    "text": "The gist: LLMs struggle with DSLs because these formal languages have specialized syntax rarely seen in training data. Grammar prompting addresses this by teaching LLMs to work with Backus-Naur Form (BNF) grammars as an intermediate reasoning step.",
    "$type": "app.bsky.feed.post",
    "reply": {
      "root": {
        "cid": "bafyreibk6gifwnotf73jnfkq4xkt54dszsmzpx5y5tni3ltpwtcbk4gnm4",
        "uri": "at://did:plc:xiodvyinscojmj5y6w5obl7w/app.bsky.feed.post/3lnvhakelij2t",
        "commit": {
          "cid": "bafyreiethwfk543kqpqd7krkomxadwtzheugxmd6yv4ckk24fu25ouxqdy",
          "rev": "3lnvhaketcj2t"
        },
        "validationStatus": "valid"
      },
      "parent": {
        "cid": "bafyreigwwpg4rrt5ihoequespoxcyoxzut3jk2btjhmfw4zsecntgghbzi",
        "uri": "at://did:plc:xiodvyinscojmj5y6w5obl7w/app.bsky.feed.post/3lnvhall3jq2q",
        "commit": {
          "cid": "bafyreigbwoh5nvclgjfqxjbnmtgd7aly7jnjebdwqy3u7wlgowauce3jte",
          "rev": "3lnvhallfca2q"
        },
        "validationStatus": "valid"
      }
    },
    "createdAt": "2025-04-28T19:00:47.189Z"
  }
}