4h agoMicrosoft Research's Dimitris Papailiopoulos says a pure Python symbolic solver matches Llama 13B with 15% error on GSM8kCodex and CC also hit a performance ceiling at 15%SentimentSentimentPos0%Neg100%Users expressed disappointment about the symbolic Python solver matching Llama 13B on GSM8k because it failed to meet their personal goals or expectations.1 comment with sentiment. View comments.