Neurosymbolic approaches blend the effectiveness of symbolic reasoning with the flexibility of neural networks. In this work, we propose a neurosymbolic architecture for generating SQL queries that builds and explores a solution tree using Best-First Search, with the possibility of backtracking. For this purpose, it integrates a Language Model (LM) with symbolic modules that help catch and correct errors made by the LM on SQL queries, as well as guiding the exploration of the solution tree. We focus on improving the performance of smaller open-source LMs, and we find that our tool, Xander, increases accuracy by an average of 10.9% and reduces runtime by an average of 28% compared to the LM without Xander, enabling a smaller LM (with Xander) to outperform its four-times larger counterpart (without Xander).

This year, for the first time, the Manhattan, Kan.-based company tapped an artificial-intelligence tool called Xander to analyze responses. Xander can determine whether an employee feels optimistic, confused or angry, and provide insights to help manage teams, the tool's developers at Ultimate Software Group Inc. said. From a block of text, the software analyzes answers to open-ended questions based on language and other data, assigning attitudes or opinions to employees. One top executive at SPS learned from recent survey analysis that he needed to work on his temper. "One of my lowest scoring items was maintaining my composure under stress," he said of the feedback from his direct reports.

This year, for the first time, the Manhattan, Kan.-based company tapped an artificial-intelligence tool called Xander to analyze responses. Xander can determine whether an employee feels optimistic, confused or angry, and provide insights to help manage teams, the tool's developers at Ultimate Software Group Inc. ULTI -1.88% said. From a block of text, the software analyzes answers to open-ended questions based on language and other data, assigning attitudes or opinions to employees. One top executive at SPS learned from recent survey analysis that he needed to work on his temper. "One of my lowest scoring items was maintaining my composure under stress," he said of the feedback from his direct reports.

This year, for the first time, the Manhattan, Kan.-based company tapped an artificial-intelligence tool called Xander to analyze responses. Xander can determine whether an employee feels optimistic, confused or angry, and provide insights to help manage teams, the tool's developers at Ultimate Software Group Inc. ULTI 2.55% said. From a block of text, the software analyzes answers to open-ended questions based on language and other data, assigning attitudes or opinions to employees. One top executive at SPS learned from recent survey analysis that he needed to work on his temper. "One of my lowest scoring items was maintaining my composure under stress," he said of the feedback from his direct reports.

Don't expect January Jones to be joining any online dating sites anytime soon. The 38-year-old single mother and "Mad Men" star says she doesn't "feel unhappy or lonely" without a partner. "People want to set me up all the time and I'm like, 'No way.' If I meet someone and we go out, then fine, but I'm not going to go look…," Jones told Red. Jones has kept the identity of the father of her 5-year-old son Xander under wraps, but about being solo, she boasts she has no qualms.