ssnri

↗ HN profile [ 84.3 ms ] full profile

No user record in our sample, but ssnri has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  1. Is there any research into using something like Transformer but for direct logical inference? I have found papers which discuss using LLMs to transform natural language into something like Prolog and run logic as a…